edf48ee6fbb4ffecfa9e12b1c79cc25bc5ad56cd,src/heros/alias/AccessPath.java,AccessPath,getDeltaTo,#AccessPath#,130
Before Change
}
public FieldRef[] getDeltaTo(AccessPath<FieldRef> accPath) {
if(isPrefixOf(accPath))
return Arrays.copyOfRange(accPath.accesses, accesses.length, accPath.accesses.length);
else
throw new IllegalArgumentException("Given AccessPath must be a prefix of the current AccessPath");
After Change
}
public FieldRef[] getDeltaTo(AccessPath<FieldRef> accPath) {
if(isPrefixOf(accPath).atLeast(PrefixTestResult.POTENTIAL_PREFIX))
return Arrays.copyOfRange(accPath.accesses, accesses.length, accPath.accesses.length);
else
throw new IllegalArgumentException("Given AccessPath must be a prefix of the current AccessPath");